proof of distributive law for sets